Model engineering

Results: 11341



#Item
791An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor Devendra Rai, Pengcheng Huang, Nikolay Stoimenov and Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zur

An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor Devendra Rai, Pengcheng Huang, Nikolay Stoimenov and Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zur

Add to Reading List

Source URL: www.tik.ethz.ch

Language: English - Date: 2014-10-27 19:21:28
792RecapE-M .......................

RecapE-M .......................

Add to Reading List

Source URL: genome.sph.umich.edu

Language: English - Date: 2012-12-06 01:48:00
793Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman  Hongseok Yang

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-11-14 12:44:57
794Working Model 2D The world’s most popular 2D computer aided engineering tool Use automatic collision detection and friction to accurately model real-life mechanical systems Track the motion of an object under specific

Working Model 2D The world’s most popular 2D computer aided engineering tool Use automatic collision detection and friction to accurately model real-life mechanical systems Track the motion of an object under specific

Add to Reading List

Source URL: www.design-simulation.com

Language: English - Date: 2009-04-30 19:30:52
    795Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs  Simplified mainstream (Java, C++)

    Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

    Add to Reading List

    Source URL: www.hboehm.info

    Language: English - Date: 2014-02-06 19:37:32
    796Atlantis: Robust, Extensible Execution Environments for Web Applications James Mickens Mohan Dhawan

    Atlantis: Robust, Extensible Execution Environments for Web Applications James Mickens Mohan Dhawan

    Add to Reading List

    Source URL: www.sigops.org

    Language: English - Date: 2011-09-20 03:36:58
    797Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

    Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

    Add to Reading List

    Source URL: cisr.nps.edu

    Language: English - Date: 2008-05-12 17:29:24
    7983D Geo-Information Working Group on Modelling Chair: Chris Gold Secretary: François Anton The first session took a few basic questions as a starting point and the group made a variety of observations. These were summari

    3D Geo-Information Working Group on Modelling Chair: Chris Gold Secretary: François Anton The first session took a few basic questions as a starting point and the group made a variety of observations. These were summari

    Add to Reading List

    Source URL: www.gdmc.nl

    Language: English - Date: 2008-01-11 05:34:44
    799Contour-Based Learning for Object Detection Jamie Shotton Department of Engineering University of Cambridge

    Contour-Based Learning for Object Detection Jamie Shotton Department of Engineering University of Cambridge

    Add to Reading List

    Source URL: jamie.shotton.org

    Language: English - Date: 2013-04-10 20:18:03
    800Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

    Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

    Add to Reading List

    Source URL: vvv.spatiallearning.org

    Language: English - Date: 2010-05-15 15:16:45